Implementing Completion-Based Inferences for the EL-family
نویسندگان
چکیده
Completion algorithms for subsumption are investigated for many extensions of the description logic EL. While for several of them subsumption is tractable, this is no longer the case, if inverse roles are admitted. In this paper we present an optimized version of the completion algorithm for ELHIfR+ [11], which is implemented in jCel. The completion sets computed during classification are a good substrate for implementing other reasoning services such as generalizations. We report on an extension of jCel that computes role-depth bounded least common subsumers and most specific concepts based on completion sets.
منابع مشابه
Instance-based Non-standard Inferences in EL with Subjective Probabilities
For practical ontology-based applications representing and reasoning with probabilities is an essential task. For Description Logics with subjective probabilities reasoning procedures for testing instance relations based on the completion method have been developed. In this paper we extend this technique to devise algorithms for solving nonstandard inferences for EL and its probabilistic extens...
متن کاملCompletion-based generalization inferences for the Description Logic ELOR with subjective probabilities
a r t i c l e i n f o a b s t r a c t Article history: Available online xxxx Description Logics (DLs) are a well-established family of knowledge representation formalisms. One of its members, the DL ELOR has been successfully used for representing knowledge from the bio-medical sciences, and is the basis for the OWL 2 EL profile of the standard ontology language for the Semantic Web. Reasoning ...
متن کاملSpatial Design for Knot Selection in Knot-Based Low-Rank Models
Analysis of large geostatistical data sets, usually, entail the expensive matrix computations. This problem creates challenges in implementing statistical inferences of traditional Bayesian models. In addition,researchers often face with multiple spatial data sets with complex spatial dependence structures that their analysis is difficult. This is a problem for MCMC sampling algorith...
متن کاملO6-Methylguanine-DNA Methyltransferase and ATP-Binding Cassette Membrane Transporter G2 Promotor Methylation: Can Predict the Response to Chemotherapy in Advanced Breast Cancer?
Background: ATP-binding cassette membrane transporter G2 (ABCG2) gene is one of transporter family and well characterized for their association with chemoresistance. Promoter methylation is a mechanism for regulation of gene expression. O6-Methyl guanine DNA methyl transferase (MGMT) gene plays a fundamental role in DNA repair. MGMT has the ability to remove alkyl adducts from DNA at the O6 pos...
متن کاملGoal-Directed Tracing of Inferences in EL Ontologies
EL is a family of tractable Description Logics (DLs) that is the basis of the OWL 2 EL profile. Unlike for many expressive DLs, reasoning in EL can be performed by computing a deductively-closed set of logical consequences of some specific form. In some ontology-based applications, e.g., for ontology debugging, knowing the logical consequences of the ontology axioms is often not sufficient. The...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011